Mainly research on RT-Mach, also RT resource management, RT fault-tolerant scheduling for multiprocessors, verification and validation, error detection and recovery, technology transfer to space and avionics applications. Department of Computer Scienc...
University of Pittsburgh. Spoken dialogue for intelligent tutoring systems, reinforcement learning for optimizing spoken dialogue agents, prosodic analysis of misrecognitions and corrections, plan recognition.